Sort out user rights when patrolling. If a user has the "autopatrol" right, then...
authorRob Church <robchurch@users.mediawiki.org>
Fri, 22 Dec 2006 19:43:20 +0000 (19:43 +0000)
committerRob Church <robchurch@users.mediawiki.org>
Fri, 22 Dec 2006 19:43:20 +0000 (19:43 +0000)
commitcb8b609a39c1a2fc4441c6c30b13bf6c86647c34
tree92d340422280d969354d307a48f6471319160dba
parent7197f044f588de5394418774f44ee9b1b0444d79
Sort out user rights when patrolling. If a user has the "autopatrol" right, then their edits are auto-marked as patrolled. If a user *doesn't* have this right, then they can't mark their own edits as patrolled in the normal fashion.
RELEASE-NOTES
includes/Article.php
includes/DefaultSettings.php
includes/RecentChange.php
languages/messages/MessagesEn.php